infinite intersection is closed